tooltip: Replace hard-coded margins with theme
authornana-4 <hnmaigo@gmail.com>
Sat, 15 Aug 2020 13:44:03 +0000 (22:44 +0900)
committernana-4 <hnmaigo@gmail.com>
Sat, 15 Aug 2020 13:46:31 +0000 (22:46 +0900)
commit9b42edbef45b269f11effada3e0cb82e34acafc1
treedd2c4cddce790e01efe6c5daac8de3fbdb584105
parent303e023c3603c5fbd8ce8ca7a1b8883958005a4d
tooltip: Replace hard-coded margins with theme

So we can easily adjust the widget sizing in the theme.
gtk/theme/Adwaita/_common.scss
gtk/ui/gtktooltipwindow.ui